161. Pacific Symposium on Biocomputing 2004 :
پدیدآورنده: edited by Russ B. Altman [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2004eb
162. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
163. Pascal Plus data structures, algorithms, and advanced programming
پدیدآورنده: Dale, Nell B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Pascal )Computer program language(,، Data structures )Computer science(,، Electronic digital computers - Programming
رده :
QA
76
.
73
.
P2
D35
1991
164. Pascal plus data structures, algorithms, and advanced programming
پدیدآورنده: Dale, Nell B
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Pascal )Computer program language(,، Data structures )Computer science(,، Computer algorithms,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
P2
D35
1988
165. Pattern recognition and image processing in C++
پدیدآورنده: Dietrich W.R. Paulus ; Joachim Hornegger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bildverarbeitung -- C++,Bildverarbeitung.,Mustererkennung -- C++
رده :
QA76
.
76
.
C65
D548
1995
166. Perspectives of system informatics :
پدیدآورنده: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
167. Practical guide to computer simulations
پدیدآورنده: Hartmann, Alexander K.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer simulation,، C )Computer program language(,، Algorithms,، Debugging in computer science
رده :
QA
76
.
9
.
C65
H365
168. Pro TBB :
پدیدآورنده: Michael Voss, Rafael Asenjo, James Reinders.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Data structures (Computer science),Algorithm Analysis and Problem Complexity.,Data Structures.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
V67
2019
169. Proceedings / Parcella 1988 :
پدیدآورنده: by Gottfried Wolf, Tamas Legendi, Udo Schendel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
170. Product-focused software process improvement :
پدیدآورنده: Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
171. Programming in Modula-3 :
پدیدآورنده: László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Informatik,MODULA.,Modula-3 (Computer program language)
رده :
QA76
.
73
.
M64
L379
1996
172. Provable security :
پدیدآورنده: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
173. Python Programming Fundamentals
پدیدآورنده: by Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Python (Computer program language).
174. Python programming fundamentals /
پدیدآورنده: Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Python (Computer program language),Python (Computer program language)
رده :
QA76
.
73
.
P98
175. Rational Drug Design
پدیدآورنده: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
176. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
177. Real-world algorithms :
پدیدآورنده: Panos Louridas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Popular works.,Computer programming, Popular works.,Computer algorithms.,Computer programming.
رده :
QA76
.
9
.
A43
L67
2017
178. STACS 87 :
پدیدآورنده: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science.,Computers.
179. Semantics for concurrency :
پدیدآورنده: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems -- Parallel programming,Parallel programming (Computer science)
رده :
QA76
.
6
E358
1990
180. Sequential and parallel algorithms and data structures :
پدیدآورنده: Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
